nonlogical axiom

非逻辑公理